Tempus fugit Towards an Ontology Update Language
نویسندگان
چکیده
Ontologies are used to formally describe domains of interest. As domains change over time, the ontologies have to be updated accordingly. We advocate the introduction of an Ontology Update Language that captures frequent domain changes and hence facilitates regular updates to be made in ontologies. We thoroughly discuss the general design choices for defining such a language and a corresponding update framework. Moreover, we propose a concrete language proposal based on SPARQL Update and provide a reference implementation of the framework.
منابع مشابه
Personal Automation: Combining Personal Information Management Systems and Rule Engines
By the use of declarative rules, automation of tasks can be performed through an electronic personal information management (PIM) application. Rules can be used in a variety of different scenarios, for instance to trigger information retrieval tasks or to send out notifications when a pre-determined set of conditions are satisfied. The technology described is an integral part of the IBM Tempus ...
متن کاملTempus fugit: How to plug it
Secret or private information may be leaked to an external attacker through the timing behaviour of the system running the untrusted code. After introducing a formalisation of this situation in terms of a confinement property, we present an algorithm which is able to transform the system into one that is computationally equivalent to the given system but free of timing leaks.
متن کاملTempus Fugit 3.0: IS in Cyberspace
2 1541-1672/12/$31.00 © 2012 IEEE IEEE INTELLIGENT SYSTEMS Published by the IEEE Computer Society Letters to the Editor: Send letters, including a reference to the article in question, to [email protected]. Letters will be edited for clarity and length. Articles: If you’re interested in submitting an article for publication, see our author guidelines at www.computer.org/ intelligent/author.htm...
متن کاملTempus Fugit: Time Pressure in Risky Decisions
We study the effects of time pressure on risky decisions for pure gain prospects, pure loss prospects, and mixed prospects involving both gains and losses. In an experiment we find that risk aversion for gains is robust under time pressure whereas risk seeking for losses turns into risk aversion under time pressure. For mixed prospects, subjects become more loss averse and more gain seeking und...
متن کاملSIVA: A System for Coverage-Directed State Space Search
We introduce SImulation Verification with Augmentation (SIVA), a tool for coverage-directed state space search on digital hardware designs. SIVA tightly integrates simulation with symbolic techniques for efficient state space search. Specifically, the core algorithm uses a combination of ATPG and BDDs to generate “directed” input vectors, i.e., inputs which cover behavior not excited by simulat...
متن کامل